Le littoral : enjeu global, action locale

LE 2 LE 3 LE 4 LE 5 LE 6 LE 7 LE 8 Local InterconnectLook − up Tables PLA Global

Contrepartie sémantique de la révision locale de croyances par le modèle C-structure

Résumé : Dans ce papier, nous définissons un nouveau modèle pour la représentation et la révision locale de croyances que nous appelons le modèle C-structure. D’autre part, en utilisant les systèmes de sphères de Grove, nous considérons des contraintes additionnelles sur le calcul de la distance entre les interprétations et nous prouvons que ces contraintes caractérisent précisément la contrepa...

Global health, personal action.

For those concerned about disparities in health between rich and poor nations, 1993 was a momentous year. First, the World Bank's World Development Report for 1993, subtitled " Investing in Health " [1], forcefully put forward the thesis that improving the health of the poor is an engine for economic development. This is the case because healthier workers are better able to cope with both the i...

State Spaces - The Locale Way

These theories introduce a new command called statespace. It’s usage is similar to records. However, the command does not introduce a new type but an abstract specification based on the locale infrastructure. This leads to extra flexibility in composing state space components, in particular multiple inheritance and renaming of components. The state space infrastructure basically manages the fol...

Positivity relations on a locale

This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finall...